<script type="text/javascript" src="$page.base$assets/js/warnOldDocs.js"></script>
<script type="text/javascript" src="$page.base$assets/js/scalafiddle.js"></script>
